منابع مشابه
Density Elimination 1
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) calculi. Its most important use is as a crucial step in establishing standard completeness for syntactic presentations of fuzzy logics; that is, completeness with respect to algebras based on the real unit interval [0, 1]...
متن کاملWildlife disease elimination and density dependence.
Disease control by managers is a crucial response to emerging wildlife epidemics, yet the means of control may be limited by the method of disease transmission. In particular, it is widely held that population reduction, while effective for controlling diseases that are subject to density-dependent (DD) transmission, is ineffective for controlling diseases that are subject to frequency-dependen...
متن کاملDensity Elimination and Rational Completeness for First-Order Logics
Density elimination by substitutions is introduced as a uniformmethod for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi. For a large class of calculi, density elimination by this method is guaranteed by known sufficient conditions for cut-elimination. Moreover, adding the density rule to any axiomatic extension of a simple first-order lo...
متن کاملDensity functional theory study of beta-hydride elimination of ethyl on flat and stepped Cu surfaces.
Plane wave density functional theory calculations have been used to characterize the transition states for beta-hydride elimination of ethyl on Cu(100), Cu(110), Cu(111), and Cu(221). The reaction rates predicted by these calculations have been compared to experiments by including tunneling corrections within harmonic transition state theory. Tunneling corrections are found to be important in d...
متن کاملCut-elimination and Redundancy-elimination by Resolution
Cut-elimination is one of the most important techniques in proof theory. Roughly speaking, eliminating cuts from a proof generates a new proof without lemmas, which essentially consists of the syntactic material of the proven theorem. Traditionally cutelimination served the purpose to show consistency of calculi and thus played a central role in metamathematics. In this traditional context the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2008
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2008.05.019